Publikationsdienste
→
Universitätsbibliographie
→
Auflistung Universitätsbibliographie nach Autor

Auflistung Universitätsbibliographie nach Autor "Tranchini, Luca"

Anzeige der Dokumente 1-16 von 16

Ekman's Paradox

Schroeder-Heister, Peter; Tranchini, Luca (2017)
Emptiness and Discharge in Sequent Calculus and Natural Deduction

Arndt, Michael; Tranchini, Luca (2014)
Harmonising Harmony

Tranchini, Luca (2015)
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca (2022)
How to Ekman a Crabbé-Tennant

Schroeder-Heister, Peter; Tranchini, Luca (2018)
(I can't get no) antisatisfaction

Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca (2021)
Natural deduction for bi-intuitionistic logic

Tranchini, Luca (2017)
Natural Deduction for Dual-intuitionistic Logic

Tranchini, Luca (2012)
PROOF ANALYSIS OF GLOBAL CONSEQUENCE

Tranchini, Luca; Cobreros, Pablo (2017)
Proof, Meaning and Paradox: Some Remarks

Tranchini, Luca (2019)
Proof-theoretic harmony: towards an intensional account

Tranchini, Luca (2021)
Proof-theoretic semantics, paradoxes and the distinction between sense and denotation

Tranchini, Luca (2016)
Stabilizing Quantum Disjunction

Tranchini, Luca (2018)
The Naturality of Natural Deduction

Tranchini, Luca; Pistone, Paolo; Petrolo, Mattia (2019)
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives

Pistone, Paolo; Tranchini, Luca; Petrolo, Mattia (2022)
Truth from a Proof-Theoretic Perspective

Tranchini, Luca (2012)

Anzeige der Dokumente 1-16 von 16

Publikation melden

Hilfe und Informationen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen